Fix the non-UTF-8 string example