That edit, eh? It's starting to be a long time since then. How time flies. 
Anyways. My edit was actually a copyedit from an earlier version of the article. I wasn't aware of the other website. Neither was I aware that the editor responsible for editing that into the article so long ago had copied it from somewhere else. I'll try to be more diligent.