Index: kernel/arch/amd64/src/mm/memory_init.c
===================================================================
--- kernel/arch/amd64/src/mm/memory_init.c	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/arch/amd64/src/mm/memory_init.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -76,6 +76,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/arch/amd64/src/mm/page.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm
+/** @addtogroup amd64mm
  * @{
  */
@@ -216,5 +216,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */