diff --git a/carnot/spec.md b/carnot/spec.md
index ab869f6..fb29853 100644
--- a/carnot/spec.md
+++ b/carnot/spec.md
@@ -449,7 +449,7 @@ def increment_view_timeout_qc (timeout_qc: Timeout_qc):
     if timeout_qc==None or timeout_qc.view < CURRENT_VIEW:
         return false
     LAST_VIEW_TIMEOUT_QC = timeout_qc
-    start_timer(qc.view+1)
+    start_timer(timeout_qc.view+1)
     return true
 ```