One more tidy of wsgi.py