Fixed a JS lint error