ModuleInfo: a minor refinement in the documentation is applied.