minor change with server.py