Is there a bug here? I'm unclear what the issue was.