boot.js: appeasing jshint, formatting