I tried rebooting after fixing, without success. I then tried the previous restore point (26 March) but again, no luck.
I shall await further guidance