fix BOOT.js bug