Fix a bad bug where uint32_t is used instead of char32_t