Pardon my pedantry, but that’s coincidence, not irony.