Minor fixes for gulpfile.js.