diff --git a/src/arch/arm/kernel/vspace.c b/src/arch/arm/kernel/vspace.c
index cb0e260c181bb27415693dfc8cefc947e965e7e3..e0c481b3379b29174fe38562078a53f2d58006ae 100644
--- a/src/arch/arm/kernel/vspace.c
+++ b/src/arch/arm/kernel/vspace.c
@@ -1312,7 +1312,7 @@ createSafeMappingEntries_PDE
 
     switch (frameSize) {
 
-    /* PDE mappings */
+        /* PDE mappings */
     case ARMSection:
         ret.pde_entries.base = lookupPDSlot(pd, vaddr);
         ret.pde_entries.length = 1;