server.py: typo fix.