diff --git a/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesDerivedMethods.gi b/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesDerivedMethods.gi
index b84281b18b..69751f412f 100644
--- a/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesDerivedMethods.gi
+++ b/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesDerivedMethods.gi
@@ -416,18 +416,18 @@ AddDerivationToCAP( MorphismFromInternalHomToTensorProductWithGivenObjects,
 
     unit := TensorUnit( cat );
     
-    return PostComposeList( cat, [
-             TensorProductOnMorphisms( cat,
-               IsomorphismFromInternalHomIntoTensorUnitToDualObject( cat, a ),
-               IsomorphismFromInternalHomToObject( cat, b ) ),
-                
-             TensorProductInternalHomCompatibilityMorphismInverse( cat,
-               [ a, unit, unit, b ] ),
-                
-             InternalHomOnMorphisms( cat,
-               RightUnitor( cat, a ),
-               LeftUnitorInverse( cat, b ) ),
-           ] );
+    return PostComposeList( cat,
+                    internal_hom,
+                    [ TensorProductOnMorphisms( cat,
+                        IsomorphismFromInternalHomIntoTensorUnitToDualObject( cat, a ),
+                        IsomorphismFromInternalHomToObject( cat, b ) ),
+                      
+                      TensorProductInternalHomCompatibilityMorphismInverse( cat, [ a, unit, unit, b ] ),
+                      
+                      InternalHomOnMorphisms( cat,
+                        RightUnitor( cat, a ),
+                        LeftUnitorInverse( cat, b ) ) ],
+                    tensor_object );
     
 end : CategoryFilter := IsRigidSymmetricClosedMonoidalCategory );