Added the small counterexample.