Pedantry: Pedantry is the excessive, often annoying, attention to minor details, formal rules, or displaying academic learning, typically used in a disapproving way. It is characterized by trivial, hairsplitting, or "well, actually" corrections that focus on rigid accuracy over understanding or common sense
I suppose I shouldn’t have been annoyed, but…

