Another fix for the BDP benchmark.

...but not a definitive one. :(