InstantSSH: Small fix