You are very kind to explain this, and I now feel slightly guilty for making the joke (which is a bad pun).