The API documentation of ModuleLoader is refined.