I don't go out of my way to be insensitive, but I'm not going to flush my DVD of The Matrix down the Memory Hole because it has "Wachowski Brothers" stamped on it. If the Wachowskis put out a new movie today, I'll reference them appropriately as the Wachowski sisters who produced it, but they simply weren't sisters when they created The Matrix, and I'll continue to reference the creators of that movie as brothers.
I saw a similar rewriting of history upstream in this thread, and I just can't let that slide. In fact, this is an edge case where nobody is right or wrong, so there can really be no "correction" to call out. Someone (Manning) changed the rules mid-game, so it must be expected and tolerated that not everyone will parse the output of the remainder of the game to their liking.