Fix a stupid bug I introduced yesterday.

It broke loading specific putty sessions i.e. the raison
d'etre of this extension...