Example to the bug