diff --git a/introlenses/introlenses.html b/introlenses/introlenses.html
index 0882679..5c75ed2 100644
--- a/introlenses/introlenses.html
+++ b/introlenses/introlenses.html
@@ -593,13 +593,13 @@ <h1>How does applicative support multi-focus lenses?</h1>
 </ul>
 <div class="sourceCode"><pre class="sourceCode literate haskell"><code class="sourceCode haskell"><span class="ot">addr_strs ::</span> <span class="dt">Traversal&#39;</span> <span class="dt">Address</span> <span class="dt">String</span>
 addr_strs elt_fn (<span class="dt">A</span> r c p)
-  <span class="fu">=</span> pure (\r&#39; s&#39; <span class="ot">-&gt;</span> <span class="dt">A</span> r&#39; c&#39; p) <span class="fu">&lt;*&gt;</span> (elt_fn r) <span class="fu">&lt;*&gt;</span> (elt_fn c)</code></pre></div>
+  <span class="fu">=</span> pure (\r&#39; c&#39; <span class="ot">-&gt;</span> <span class="dt">A</span> r&#39; c&#39; p) <span class="fu">&lt;*&gt;</span> (elt_fn r) <span class="fu">&lt;*&gt;</span> (elt_fn c)</code></pre></div>
 <ul>
 <li>Which is usually written as:</li>
 </ul>
 <div class="sourceCode"><pre class="sourceCode literate haskell"><code class="sourceCode haskell"><span class="ot">addr_strs ::</span> <span class="dt">Traversal&#39;</span> <span class="dt">Address</span> <span class="dt">String</span>
 addr_strs elt_fn (<span class="dt">A</span> r c p)
-  <span class="fu">=</span> (\r&#39; s&#39; <span class="ot">-&gt;</span> <span class="dt">A</span> r&#39; c&#39; p) <span class="fu">&lt;$&gt;</span> (elt_fn r) <span class="fu">&lt;*&gt;</span> (elt_fn c)</code></pre></div>
+  <span class="fu">=</span> (\r&#39; c&#39; <span class="ot">-&gt;</span> <span class="dt">A</span> r&#39; c&#39; p) <span class="fu">&lt;$&gt;</span> (elt_fn r) <span class="fu">&lt;*&gt;</span> (elt_fn c)</code></pre></div>
 </div>
 <div id="using-traversals" class="slide section level1">
 <h1>Using Traversals</h1>
@@ -695,8 +695,8 @@ <h1>Unusually for a library, lenses are not abstract</h1>
 <ul>
 <li>...and not:</li>
 </ul>
-<div class="sourceCode"><pre class="sourceCode literate haskell"><code class="sourceCode haskell"><span class="kw">newtype</span> <span class="dt">Lens&#39;</span> s a <span class="fu">=</span> <span class="dt">L</span> (forall f<span class="fu">.</span> <span class="dt">Functor</span> f
-                       <span class="ot">=&gt;</span> (a <span class="ot">-&gt;</span> f a) <span class="ot">-&gt;</span> s <span class="ot">-&gt;</span> f s)</code></pre></div>
+<div class="sourceCode"><pre class="sourceCode literate haskell"><code class="sourceCode haskell"><span class="kw">newtype</span> <span class="dt">Lens&#39;</span> s a <span class="fu">=</span> <span class="dt">L</span> ( forall f<span class="fu">.</span> <span class="dt">Functor</span> f
+                        <span class="ot">=&gt;</span> (a <span class="ot">-&gt;</span> f a) <span class="ot">-&gt;</span> s <span class="ot">-&gt;</span> f s )</code></pre></div>
 <ul>
 <li><p>Lenses and traversals would not compose (or would require lots of different functions to do so)</p></li>
 <li><p>The inner workings are more exposed</p></li>
diff --git a/introlenses/introlenses.lhs b/introlenses/introlenses.lhs
index a5b42f0..a6c6536 100644
--- a/introlenses/introlenses.lhs
+++ b/introlenses/introlenses.lhs
@@ -570,13 +570,13 @@ How does applicative support multi-focus lenses?
 
 > addr_strs :: Traversal' Address String
 > addr_strs elt_fn (A r c p)
->   = pure (\r' s' -> A r' c' p) <*> (elt_fn r) <*> (elt_fn c)
+>   = pure (\r' c' -> A r' c' p) <*> (elt_fn r) <*> (elt_fn c)
 
 * Which is usually written as:
 
 > addr_strs :: Traversal' Address String
 > addr_strs elt_fn (A r c p)
->   = (\r' s' -> A r' c' p) <$> (elt_fn r) <*> (elt_fn c)
+>   = (\r' c' -> A r' c' p) <$> (elt_fn r) <*> (elt_fn c)
 
 Using Traversals
 ================
@@ -681,8 +681,8 @@ Unusually for a library, lenses are not abstract
 
 * ...and not:
 
-> newtype Lens' s a = L (forall f. Functor f
->                        => (a -> f a) -> s -> f s)
+> newtype Lens' s a = L ( forall f. Functor f
+>                         => (a -> f a) -> s -> f s )
 
 * Lenses and traversals would not compose (or would require lots of different functions to do so)