fix json repr