small change in AllocationListener.