Allow any whitespace after JSON tokens. Fixes issue #962.