#93: Call CharsetEncoder.flush properly