Running a repair should fix the problem.