InstantSSH plugin: CS fix