Bug in Bucket::merge fixed.