Fix bug in reboot.