server.c: Cosmetic change

#2