Fixing a typo and bad link in WSGI Servers