People misunderstood your original reply. Correcting you is not pedantry.