OFDeflateStream: Minor improvements.