Plugin InstantSSH: Small fixes + typo