Small example for bug.