Minor documentation fixes

2 files changed, 5 insertions, 2 deletions

diff --git a/docs/wiki_src/coding/data-structures.md b/docs/wiki_src/coding/data-structures.md
index 3d2a387..e59fa99 100644
--- a/docs/wiki_src/coding/data-structures.md
+++ b/docs/wiki_src/coding/data-structures.md
@@ -60,6 +60,10 @@ a-box <>'a'
 :test (store! a-box 'b') (<>'b')
 ```
 
+Options ([`std/Option`](/std/Option.bruijn.html)) use the same data
+structure and have additional definitions to resemble Haskell's
+`Maybe`{.haskell}.
+
 ## Pairs [`std/Pair`](/std/Pair.bruijn.html)
 
 Pairs (tuples) can store any two terms. Pairs can be constructed using
diff --git a/docs/wiki_src/coding/mixfix.md b/docs/wiki_src/coding/mixfix.md
index d0838cf..43e2100 100644
--- a/docs/wiki_src/coding/mixfix.md
+++ b/docs/wiki_src/coding/mixfix.md
@@ -41,8 +41,7 @@ chain is not actually overwritten by *another* mixfix chain.
 ``` bruijn
 :test ((+8) + (-4) ⋅ (-2)) ((-8))
 
-# (don't do this)
-…+…⋅… [[[(+16)]]]
+…+…⋅… [[[2 + (1 ⋅ 0)]]]
 
 :test ((+8) + (-4) ⋅ (-2)) ((+16))
 ```