--- django/bin/make-messages.py.orig	2007-07-15 12:16:57.000000000 -0300
+++ django/bin/make-messages.py	2007-07-17 00:48:33.000000000 -0300
@@ -9,6 +9,7 @@
 import os
 import sys
 import getopt
+from itertools import dropwhile
 
 pythonize_re = re.compile(r'\n\s*//')
 
@@ -118,7 +119,7 @@
                         msgs = msgs.replace(old, new)
                     if os.path.exists(potfile):
                         # Strip the header
-                        msgs = '\n'.join(msgs.split('\n')[17:])
+                        msgs = '\n'.join(dropwhile(len, msgs.split('\n')))
                     else:
                         msgs = msgs.replace('charset=CHARSET', 'charset=UTF-8')
                     if msgs:
