server.py: typo quickfix