Updated Huffman encoding.