diff --git a/tests/TypingImpls.idr b/tests/TypingImpls.idr
index 98a60c3..26c4e3b 100644
--- a/tests/TypingImpls.idr
+++ b/tests/TypingImpls.idr
@@ -42,7 +42,7 @@ PrettyHL q => ToInfo (Error q) where
      ("set", show $ SortedSet.toList ts)]
   toInfo (BadCaseQtys qouts) =
     ("type", "BadCaseQtys") ::
-    [(show i, prettyStr True q) | (i, q) <- zip [0 .. length qouts] qouts]
+    [(show i, prettyStr True q) | (i, q) <- zip [1 .. length qouts] qouts]
 
   toInfo (ClashT mode ty s t) =
     [("type",  "ClashT"),