allocator bug fix