Tidy code in aligned_allocator_adaptor