Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -78,5 +78,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/ia32/src/proc/task.c	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -58,5 +58,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/ia32/src/proc/thread.c	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -44,5 +44,5 @@
 }
 
- /** @}
+/** @}
  */