Small fix to counter-example