ssh/shell.py: fix typos in comments