Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision c22e964a598c0c20654391f6a11e7333830cbf37)
+++ kernel/arch/arm32/src/arm32.c	(revision 06f96234f33ae4b1e97f70d3f777e625b701a95f)
@@ -50,5 +50,5 @@
 #include <macros.h>
 
-/** Performs arm32 specific initialization before main_bsp() is called. */
+/** Performs arm32-specific initialization before main_bsp() is called. */
 void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {