a few post sync fixes to the documentation #34

Closed patrickhuber closed 8 years ago