InstantSSH: Small fixes