Thanks rusty - odd, but reassuring.
I buy the paper every day, but usually print out the crossword, partly so that the rest of the family can read the paper while I'm doing it, and partly because the printout comes out slightly larger, with more white paper for working.