little change in synch.c