This pull request has a few small changes with relation to the ssh_info page, resolving the two issues:
Looks good to me :)