Fix some docstrings in sync.py.