UPDATED small fix recommended by jslint.