fixed json encoding