Update synchronization.rst