Even simpler counterexample for #15