fix markup, typo

diff --git a/topics/week7_monads.mdwn b/topics/week7_monads.mdwn
index d4b1541..bb0df8f 100644 (file)
--- a/topics/week7_monads.mdwn
+++ b/topics/week7_monads.mdwn
@@ -354,6 +354,7 @@ The above definitions look even simpler if you focus on the fact that `safe_add3
 
 Let's see our new functions in action:
 
+<pre>
 (*
 # safe_div3 (safe_div3 (Some 12) (Some 2)) (Some 3);;
 - : int option = Some 2
@@ -376,7 +377,7 @@ order to trigger the no-division-by-zero presupposition. Here, too, we don't
 need to keep track of what presuppositions may have already failed
 for whatever reason on our inputs.
 
-(Linguitics note: Dividing by zero is supposed to feel like a kind of
+(Linguistics note: Dividing by zero is supposed to feel like a kind of
 presupposition failure. If we wanted to adapt this approach to
 building a simple account of presupposition projection, we would have
 to do several things. First, we would have to make use of the