Corrected documentation of FreeModuleIdentityMorphism