InstantSSH plugin: typo