Clean up nicer_allocator().