I actually don't think it's a mistake. Contra and counter are synonymous, but one is more common (as far as I can tell with brief googling). I learned something

I actually don't think it's a mistake. Contra and counter are synonymous, but one is more common (as far as I can tell with brief googling). I learned something too, no need to apologise.