Commit 38686fc2122ad5d3716ac9740fc6e4383179d2a7 Parent 4bc4bf4695634dba18bb2eaa8c9c63a64d04558d Author John MacFarlane <jgm@berkeley.edu> Date Mon, 1 Sep 2014 11:54:32 -0700 Spec: Fixed example in section 5.2.1. Closes #8. Thanks, @balpha, for catching these problems.