ManifestModuleLoader: an error message is made more precise.