one more example, plus a bugfix in modular arith