Plugin InstantSSH: Small fixes