X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment6.mdwn;h=9a3d04c049c4733d854cfd51ea829b13d4e7f24c;hp=e68d3f1a16a59ccdbe61102fb77fc37b08077272;hb=8757b34632a67ffd9d55d182500608b1f0198394;hpb=62596aa94c32e1b4c01e4a04ab3c53590003df43

diff --git a/exercises/_assignment6.mdwn b/exercises/_assignment6.mdwn
index e68d3f1a..9a3d04c0 100644
--- a/exercises/_assignment6.mdwn
+++ b/exercises/_assignment6.mdwn
@@ -97,11 +97,13 @@ those places working that you can use the code to evaluate terms.
 6. A snag: what happens when we want to replace a variable with a term
 that itself contains a free variable?  
 
-    term          environment
-    ------------- -------------
-    (\w.(\y.y)w)2 []
-    (\y.y)w       [w->2]
-    y             [w->2, y->w]
+<pre>
+term          environment
+------------- -------------
+(\w.(\y.y)w)2 []
+(\y.y)w       [w->2]
+y             [w->2, y->w]
+</pre>
 
 In the first step, we bind `w` to the argument `2`.  In the second
 step, we bind `y` to the argument `w`.  In the third step, we would