Minor fix in server.