Don’t forget to reboot the system after the repair.