Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -91,5 +91,4 @@
 }
 
- /** @}
+/** @}
  */
-