bug fix for json encoder