After the repair, reboot.