Fix server.c