Fix a server bug