You’re right. That’s how it reads. I read the names in another article years ago, but I’m not sure where.

Edit: Not that it matters, but I found it. It’s referencing the same article, so it was probably editor or web scraping bot error.