Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2574 303c5b2c-9740-0410-b014-fd8f9db7be32
(fixing a)* typo... soon to reach a fixed point

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2575 303c5b2c-9740-0410-b014-fd8f9db7be32
Minor typo fix for [typo fix for fix].

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2576 303c5b2c-9740-0410-b014-fd8f9db7be32