tweaking wording on wsgi servers page