712 is another way to refer to a 717-200. Though it’s a bit odd they just didn’t say “717-200” in the article to reduce confusion.
As soon as I have a little free time I'll do my best to update the relevant Wikipedia pages in hopes fewer people are confused by the nomenclature in the future.