Minor improvements to modular documentation.