bug fix for json encoder
bug fix for json encoder