Fix a bug in the WSGI entrypoint.