server.c: trivial update