1) ModuleInfo: the documentation is refined;
2) ModuleInfo: a test is added.