A small fix for timex processing in Json format.