Index: kernel/arch/mips32/src/mm/as.c
===================================================================
--- kernel/arch/mips32/src/mm/as.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/src/mm/as.c	(revision 57da95c482edb0cea2f17139f72f308e960ddd0f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm
+/** @addtogroup mips32mm
  * @{
  */
@@ -73,6 +73,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/mm/page.c
===================================================================
--- kernel/arch/mips32/src/mm/page.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/src/mm/page.c	(revision 57da95c482edb0cea2f17139f72f308e960ddd0f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm	
+/** @addtogroup mips32mm	
  * @{
  */
@@ -51,5 +51,4 @@
 }
 
- /** @}
+/** @}
  */
-