add JSON encoding