Fix another bug in new huffman decoder