fixing server.py