view.py: double blank lines at toplevel