o Small fixes to the documentation.