diff --git a/doc/design.asciidoc b/doc/design.asciidoc
index e497c70d..5ae633e8 100644
--- a/doc/design.asciidoc
+++ b/doc/design.asciidoc
@@ -55,7 +55,7 @@ That means there should be clear separation of concerns between modes:
  * command mode is for non-editing features (opening a file, setting
    options...).
 
-Orthogonality is an ideal, and should not prevent common sense pargmatism,
+Orthogonality is an ideal, and should not prevent common sense pragmatism,
 the +gf+ and +ga+ commands are not strictly selection manipulation ones,
 but fit nicely with other +goto+ commands, and hence are acceptable in
 normal mode even though they could arguably be moved to command mode.