You are right; thank you. (And that is not such a small correction, since I did not just use the wrong phrase, but used a phrase that means something totally d

You are right; thank you. (And that is not such a small correction, since I did not just use the wrong phrase, but used a phrase that means something totally different in the same domain.) I am now outside the edit window, so unfortunately cannot fix it.