FIXED: JSON encoding.