this seems to be the right ssh syntax