added the counter example to show the existence of the second bug