slight server.py cleanup