JsonEventIterator would read one more token than it needed