Some comments and fixes to the bucket allocator.