Minor cleanup of webserver.py