Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision e037cf3733f322897cbfc63ce44277485f52af9b)
@@ -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];