Fix encoding symbols table