Index: kernel/arch/mips32/src/ddi/ddi.c
===================================================================
--- kernel/arch/mips32/src/ddi/ddi.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/src/ddi/ddi.c	(revision 61e90ddd605dc4854cbb016a4be65d1cd1e9510c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32ddi
+/** @addtogroup mips32ddi
  * @{
  */
@@ -56,5 +56,4 @@
 }
 
- /** @}
+/** @}
  */
-