diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 76defee40b7592e3cd17bfc62ea996ab93f2bc0f..48b7109db3cf01ab6e5ccd71c327cfe22a77b30e 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -185,14 +185,14 @@ def stop_event(evt):
 
         return
 
-    print("CYCCNT:  %s\nCeiling: %s" % (cyccnt, outputdata[-1][2]))
+    print("CYCCNT:  %s\nCeiling: %s" % (cyccnt, outputdata[-1][3]))
 
     """
     If outputdata is empty, we start
     If the same ceiling as previously: exit
     """
     if len(outputdata):
-        if outputdata[-1][2] >= ceiling:
+        if outputdata[-1][3] >= ceiling:
             action = "Exit"
         else:
             action = "Enter"