On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Logical Methods in Computer Science, 2017)