Properly (more properly) handle UTF-8 in JSON