Work around jschannel bug -- fixes #823