Minor fix for discovery server.