Minor updates to reboot.js