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 3dbe2d1f2cf929c94b37e1ae26508eaac53ad4f6)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm
+/** @addtogroup ppc64mm
   * @{
  */
@@ -42,5 +42,5 @@
 }
 
- /** @}
+/** @}
  */