diff --git a/docs/startup.md b/docs/startup.md
index f6def1f1d..b33832894 100644
--- a/docs/startup.md
+++ b/docs/startup.md
@@ -3,10 +3,10 @@
 This document describes how a running system is established.  It is, broadly,
 divided into four stages:
 
-0: Pre-boot -- setting the machine up to run
-1: Initializing the allocator
-2: Loading the kernel and PID1
-3: Userspace setup
+0. Pre-boot -- setting the machine up to run
+1. Initializing the allocator
+2. Loading the kernel and PID1
+3. Userspace setup
 
 Once userspace is set up, it will continue to spawn additional processes
 and maintain the system.  However, after this point there is no longer a