small change in server.py