The problem seems to have disappeared when I restarted the computer, which of course is the first thing I should have done. Thank you.
