Index: kernel/arch/ppc64/src/mm/as.c
===================================================================
--- kernel/arch/ppc64/src/mm/as.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/ppc64/src/mm/as.c	(revision 2a98e584c41f86d1802d062b56836bf310529c13)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm
+/** @addtogroup ppc64mm
   * @{
  */
@@ -42,5 +42,5 @@
 }
 
- /** @}
+/** @}
  */