server: minor fix in server.c