Example to demonstrate bug