Fixing a pretty big typo in ssh/config