Fix a bug in server.