[ssh] ssh_config: cosmetic change