fix json decorator.encode