server.py: remove unnecessary change