Thanks, Gareth. I know that installing the update file by hand will work, of course, and I'll certainly resort to that as a last-ditch measure. However, I also am supporting my wife's computer and I want her automatic updates to work without my intervention, so I'm keen on a long-term solution.