Typo in encoding tree