This does demonstrate a bug, but the fix is too inefficient to be integrated. We need a faster implementation that still gives the right results (this shouldn't be too hard). <This post brought to you by BFAV2>