diff --git a/_manual/03_setting-up-your-system/05_setting-up-midi/02_midi-on-linux.html b/_manual/03_setting-up-your-system/05_setting-up-midi/02_midi-on-linux.html
index d0beff0..73f3846 100644
--- a/_manual/03_setting-up-your-system/05_setting-up-midi/02_midi-on-linux.html
+++ b/_manual/03_setting-up-your-system/05_setting-up-midi/02_midi-on-linux.html
@@ -49,7 +49,7 @@ JACK you use. The world divides into:
 </p>
 
 
-<h2>Check availaibility MIDI ports</h2>
+<h2>Check available MIDI ports</h2>
 <p>
   If you have correctly configured JACK for MIDI, then your MIDI ports should appear in
   qjackctl under <kbd class="menu">Connections &gt; MIDI </kbd>.