diff --git a/include/edit-midi.html b/include/edit-midi.html
index 683d11c2..cc86a855 100644
--- a/include/edit-midi.html
+++ b/include/edit-midi.html
@@ -18,7 +18,7 @@ <h2>Key features of Ardour MIDI editing</h2>
     region. There is no way currently to edit note data for multiple
     regions at the same time; so, for example, notes cannot be
     selected in several regions at once and then all deleted. However
-    they can they be copied and pasted from one region to another.
+    they can be copied and pasted from one region to another.
   </li>
   <li>
     Every MIDI track has its own MIDI port for input; it may have an