little fixes on style in server.py