Fix some errors in the documentation, expand sections.