#100: server.py, another minor language changes