diff --git a/monitor/src/main.c b/monitor/src/main.c
index f51fde140..9a06a378f 100644
--- a/monitor/src/main.c
+++ b/monitor/src/main.c
@@ -440,6 +440,8 @@ static void monitor(void)
         seL4_Error err;
 
         tag = seL4_Recv(fault_ep, &gbadge, reply);
+        badge = gbadge;
+
         label = seL4_MessageInfo_get_label(tag);
 
         seL4_Word tcb_cap = tcbs[badge];