Thanks for the suggestion. I've done a Quick Repair, and that didn't fix it. I'd rather not do an Online Repair, as (from what I can remember from last time I did it) that means a full uninstall and reinstall, which is too much trouble.