Fixed problem with JSON decoding of unicode characters in numeric form.