Minor change in documentation structure.