[tokenizer] corrected decoding of numeric entities