Small counterexample for bug #56