Plugin InstantSSH: Several fixes