some jslint fixes