Index: generic/src/smp/ipi.c
===================================================================
--- generic/src/smp/ipi.c	(revision cf26ba925149372793f1ad55138490f8190259e4)
+++ generic/src/smp/ipi.c	(revision 203dcd45d0ab1a42c96306e965756396de8dcec4)
@@ -44,8 +44,8 @@
  * @param ipi Message to broadcast.
  *
- * @bugs The decision whether to actually send the IPI must be based
- *	 on a different criterion. The current version has
- *	 problems when some of the detected CPUs are marked
- *	 disabled in machine configuration.
+ * @bug The decision whether to actually send the IPI must be based
+ * 	on a different criterion. The current version has
+ *	problems when some of the detected CPUs are marked
+ *	disabled in machine configuration.
  */
 void ipi_broadcast(int ipi)