whitedb 0.7.2 (fix)

Using correct diff supplied by mikemcquaid for patch.