You probably shouldn't nitpick about some random detail at the beginning of the post that isn't really relevant to the main message being conveyed. Even if you win the battle you lose the war. You picked the wrong hill to die on.