Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision 02fe42eab26cc91005346883f5d0a8462d0ef248)
@@ -59,5 +59,5 @@
 	cpu_mask_t *(cpu_mask) = (cpu_mask_t*) alloca(cpu_mask_size())
 
-/** If used with DEFINE_CPU_MASK, the mask is large enough for all detected cpus.*/
+/** If used with DEFINE_CPU_MASK, the mask is large enough for all detected cpus. */
 typedef struct cpu_mask {
 	unsigned int mask[1];