fixed: json encoding