bugfix in compute_reboot