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