Small fixes to various parts of the documentation.