Minor fixes in ssh config