#100: server.py, minor language changes