jslint, small fix to ajax.js uncalled local function