Fixed some JSON encoding.