Fix in ssh_config generator