ick - OK.  It may be worth saying something in a header comment (if doing so doesn't stop this triggering the bug, of course) to the effect that "this bug was really hard to reproduce, so this is just the policy that broke, despite it making no sense".