Minor jslint stuff