..F....... [DEV-539] host_discovery.php: fixed formatting