Cleanup to demonstrate the bug