Followup fixes to Huffman Coding AV