small typo in webserve.py