Fix to server.py