A few minor adjustments to the gulpfile