A repair + reboot should fix that.