Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64proc
+/** @addtogroup amd64proc
  * @{
  */
@@ -81,5 +81,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/amd64/src/proc/task.c	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64proc
+/** @addtogroup amd64proc
  * @{
  */
@@ -57,5 +57,4 @@
 }
 
- /** @}
+/** @}
  */
-