Fix json encoder