Thanks guys, the update had been done. What seemed to fix it was not just rebooting, but also powering off and running up again. Presumably the power was holding something in the wrong way... Hope this helps someone else.