diff --git a/doc/attr.xml b/doc/attr.xml
index 77a313b9e..4a467d87d 100644
--- a/doc/attr.xml
+++ b/doc/attr.xml
@@ -1278,6 +1278,10 @@ Error, the semigroup is not finite]]></Example>
     <Item>
     <Ref Prop="IsReesZeroMatrixSemigroupElement" BookName="ref"/>.
     </Item>
+    <Mark>elements of a free band</Mark>
+    <Item>
+    <Ref Prop="IsFreeBandElement"/>.
+    </Item>
     </List>
 
     See also <Ref Oper="OneInverseOfSemigroupElement"/>.
diff --git a/gap/fp/freeband.gi b/gap/fp/freeband.gi
index 19f506be5..3f5c8390f 100644
--- a/gap/fp/freeband.gi
+++ b/gap/fp/freeband.gi
@@ -504,3 +504,7 @@ function(_, hashlen)
   return rec(func := SEMIGROUPS.HashFunctionForFreeBandElements,
              data := hashlen);
 end);
+
+InstallMethod(OnePseudoInverseOfSemigroupElement,
+"for a free band element",
+[IsFreeBandElement], IdFunc);
\ No newline at end of file
diff --git a/tst/standard/fp/freeband.tst b/tst/standard/fp/freeband.tst
index 19770b6f7..888eedc63 100644
--- a/tst/standard/fp/freeband.tst
+++ b/tst/standard/fp/freeband.tst
@@ -316,6 +316,14 @@ Error, the generator names must be distinct
 gap> FreeBand(["a", "x", "y", "x", "d"]);
 Error, the generator names must be distinct
 
+# OnePseudoInverseOfSemigroupElement
+gap> S := FreeBand(5);
+<free band on the generators [ x1, x2, x3, x4, x5 ]>
+gap> z := S.1 * S.3 * S.2 * S.2 * S.5 * S.3;
+x1x3x2x5x1x3x2x5x2x5x3
+gap> OnePseudoInverseOfSemigroupElement(z);
+x1x3x2x5x1x3x2x5x2x5x3
+
 #
 gap> SEMIGROUPS.StopTest();
 gap> STOP_TEST("Semigroups package: standard/fp/freeband.tst");