Small modifications to the documentation structure.