Fixed a bug related to gzip output