corrections affecting thread synchronization