InstantSSH plugin: Typo