[master] minor updates of PooledMemoryManagerAlt