Fixes introduced bug into ssh.rkt

format missing an ~a