small fix in gzip support