Tidy up counter example.