fix json encoder