No, that doesn't sound good. You are completely sure that's not the one you already pulled, right? Yeah, that's a bug, but not one I've heard of.