Add JSON encoding.