Fix json encoder patch