InstantSSH plugin: Small fixes + typo