fixed a jslint issue