A few jslint fixes