OK, thank you! I think I might have been amused by it on another day. Or perhaps with a little linguistic style hint that you were up to such ironies (This possibility had been in my range of possibilities, but not at the top). Maybe the responder's literalist correction put me off before I had time to get the joke? Anyways, this helps with the ponderings on the tribulations of text!