diff --git a/libsel4debug/src/register_dump.c b/libsel4debug/src/register_dump.c
index 557a349..e5a59b3 100644
--- a/libsel4debug/src/register_dump.c
+++ b/libsel4debug/src/register_dump.c
@@ -30,6 +30,6 @@
 
     printf("%sRegister dump:\n", prefix);
     for (int i = 0; i < num_regs; i++) {
-        printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
+        printf("%s%s:\t0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
     }
 }