The reason I did it was that there's a non-lemma definition on the page, and it's also formatted wrong. I'm ok with it being treated as a lemma, as long as the formatting can be fixed somehow...
