more WSGI magic