diff --git a/src/editor/edit.c b/src/editor/edit.c
index e291ef065..0f3926b94 100644
--- a/src/editor/edit.c
+++ b/src/editor/edit.c
@@ -1311,10 +1311,12 @@ edit_do_undo (WEdit * edit)
     edit->start_display = ac - KEY_PRESS;       /* see push and pop above */
     edit_update_curs_row (edit);
 
-  done_undo:;
+  done_undo:
     edit->undo_stack_disable = 0;
 }
 
+/* --------------------------------------------------------------------------------------------- */
+
 static void
 edit_do_redo (WEdit * edit)
 {
@@ -1385,9 +1387,12 @@ edit_do_redo (WEdit * edit)
     edit->start_display = ac - KEY_PRESS;       /* see push and pop above */
     edit_update_curs_row (edit);
 
-  done_redo:;
+  done_redo:
+    ;
 }
 
+/* --------------------------------------------------------------------------------------------- */
+
 static void
 edit_group_undo (WEdit * edit)
 {