correction in JsonReviver