diff --git a/cranelift/isle/docs/language-reference.md b/cranelift/isle/docs/language-reference.md
index da839627e5..dd79c55e5e 100644
--- a/cranelift/isle/docs/language-reference.md
+++ b/cranelift/isle/docs/language-reference.md
@@ -466,7 +466,7 @@ can represent various concepts in a compiler backend: values, but also
 machine instructions or parts of those instructions ("integer
 immediate value encodable in machine's particular format"), or
 abstract bundles of information with invariants or guarantees encoded
-in the type system ("load that I can sink", "instruciton that produces
+in the type system ("load that I can sink", "instruction that produces
 flags").
 
 ISLE's other key departure from many other systems is its first-class
@@ -729,10 +729,10 @@ a `T2`. Concretely:
     
     (decl Translate (T1) T2)
     
-    (rule (Translate (T1.A ...)
-                     (T2.X ...)))
-    (rule (Translate (T1.B ...)
-                     (T2.Y ...)))
+    (rule (Translate (T1.A ...))
+          (T2.X ...))
+    (rule (Translate (T1.B ...))
+          (T2.Y ...))
 ```
 
 This gets to the heart of rewrite-system-based computation, and has
@@ -764,8 +764,8 @@ one could have:
     (decl TranslateToMachine1 (IR) Machine1)
     (decl TranslateToMachine2 (IR) Machine2)
     
-    (rule (TranslateToMachine1 (IR.add a b) (Machine1.add a b)))
-    (rule (TranslateToMachine2 (IR.add a b) (Machine2.weird_inst a b)))
+    (rule (TranslateToMachine1 (IR.add a b)) (Machine1.add a b))
+    (rule (TranslateToMachine2 (IR.add a b)) (Machine2.weird_inst a b))
 ```
 
 and then both translations are available. We are "rewriting" from `IR`
@@ -908,7 +908,7 @@ This also works in the extractor position: for example, if one writes
     (decl iadd (Value Value) Inst)
     
     (rule (lower (iadd (iadd a b) c))
-          ...))
+          ...)
           
     (convert Inst Value defining_instruction)
 ```