Fix jsonification