fix whitespace in ssh_config