diff --git a/devel.but b/devel.but
index 30642ea..c218cd1 100644
--- a/devel.but
+++ b/devel.but
@@ -3264,7 +3264,7 @@ place.
 \c                     void *rctx);
 
 This function examines a serialised midend stream, of the same kind
-used by \cw{midend_serialise()} and \cw{midendd_deserialise()}, and
+used by \cw{midend_serialise()} and \cw{midend_deserialise()}, and
 returns the \cw{name} field of the game back end from which it was
 saved.