more small changes in the allocator