SSH2Stream: minor style changes