json encoding is utf-8, not ascii