some small jslint fixes