diff --git a/docs/resource_algebras.md b/docs/resource_algebras.md
index 3071a61facba722507a5bc6ec096c75add6f0619..3fc047bf5f2991fcf657b351ad865d3fe4ff3163 100644
--- a/docs/resource_algebras.md
+++ b/docs/resource_algebras.md
@@ -249,7 +249,7 @@ Using these combinators, one can easily construct bigger functors in point-free
 style and automatically infer their contractivity, e.g:
 
 ```coq
-F := gmaURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
+F := gmapURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
 ```
 
 which effectively defines the desired example functor