Fix in sshdebug.py