Fixed a bug in header decompression