InstantSSH plugin: Small fixes + cleanup + typo