Does this need to be synchronized because internalPool could be changing because of a new master?