some minor fixes for jslint