Welcome
Pedantry is fine, unless you're on the receiving end. And not a pedant.