cosmetic changes in server.c