Small fixes to the documentation, fixes #7