use reindent.py to fix any potentially serious whitespace issues