Comment by bmandale

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