InstantSSH plugin: Small fix