Refined synchronization, not required on a private method accessed only
from public methods already synchronized.