Update json2.js

See #3846