That is a terrible (and wonderfully witty) pun. I wish I'd thought of it.