I tried re-alignment twice but to no effect. I then tried switching the printer on and off a few times, allowing it to service them each time, and had to replace an ink, and now it seems to be OK. I have no idea why, and have the feeling the issue will return.
Many thanks for the suggestion - if it returns, I'll try it all again!
Chris