#243: ajax_json.js, minor comment indentation