fixes json encoder example