Patches minor typo in server.py