fix minor issue in server.c