Fix broken header for UTF32isValid