fixed a bug for encoding non ASCII character in JSON string