document synchronization; fixes #6