--- a/Utilities/__init__.py	Thu Sep 08 19:38:39 2011 +0200
+++ b/Utilities/__init__.py	Wed Sep 14 19:46:52 2011 +0200
@@ -1186,7 +1186,7 @@
         else:
             index = 5
             warnings = []
-            while index < len(output):
+            while len(output) - index > 3:
                 if output[index] == "FLAKES_ERROR":
                     return (True, output[index + 1], output[index + 2], "", 
                             output[index + 3], [])