Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/as_ht.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -119,5 +119,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/as_pt.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -140,5 +140,5 @@
 }
 
- /** @}
+/** @}
  */
 
Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/asid.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -175,5 +175,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -95,5 +95,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/page_ht.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -245,5 +245,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/page_pt.c	(revision c8ea4a8b385dcfa2947d09fcc2d484d8750d4329)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -266,5 +266,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */