Index: kernel/arch/arm64/src/mach/virt/virt.c
===================================================================
--- kernel/arch/arm64/src/mach/virt/virt.c	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/arm64/src/mach/virt/virt.c	(revision e037cf3733f322897cbfc63ce44277485f52af9b)
@@ -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);
 	}