explicit UTF-8 encoding in JSON