Minor improvements to make.js.