Well, that was an odd bug.