Demonstrating a bug?