diff --git a/Doc/tools/fixinfo.el b/Doc/tools/fixinfo.el
index 75baf34beb3..267a7e3c932 100644
--- a/Doc/tools/fixinfo.el
+++ b/Doc/tools/fixinfo.el
@@ -4,10 +4,8 @@
 		  "\\1python-\\2.info")
   (replace-string "@node Front Matter\n@chapter Abstract\n"
 		  "@node Abstract\n@section Abstract\n")
-  (progn
-    (mark-whole-buffer)
-    (texinfo-master-menu 'update-all-nodes)
-    )
+  (mark-whole-buffer)
+  (texinfo-master-menu 'update-all-nodes)
   (save-buffer)
   )	;; fix-python-texinfo