Fix formatting in synch.h