fix json encoding