Cleaned up json.js.