removed bug in TruncatedModule, morphism part