Fix various parts of the documentation.