further fixing the counterexample