small fixes in wsgi docs