Index: kernel/arch/arm64/src/mach/virt/virt.c
===================================================================
--- kernel/arch/arm64/src/mach/virt/virt.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm64/src/mach/virt/virt.c	(revision 19f60a38af814614ddf905c12dbc60cfbe9687b0)
@@ -95,5 +95,5 @@
 		irq_spinlock_unlock(&irq->lock, false);
 	} else {
-		/* Spurious interrupt.*/
+		/* Spurious interrupt. */
 		printf("cpu%d: spurious interrupt (inum=%u)\n", CPU->id, inum);
 	}