server.c: Cosmetic change