anchor.diff:  export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH
   })
   </li>
  -<li>Now one should be able to import z3 into Python. One can test it by
  +<li>Now one should be able to import z3 into Python and test it by
   doing:
   @({
     from z3 import *
  
positive.code: <box>
  <p>
  <b><color rgb='#FF0000'>NOTE:</color></b>
  A complete recertification of Smtlink is required if one changed the
  configuration in smtlink-config.
  </p>
  </box>
  
negative.code: @({
  make install
  })
  <p>Now if one takes a look at @('$HOME/usr'), one will see in @('$HOME/usr/bin'),
  we have the @('z3') executable, in @('$HOME/usr/include') we have all the z3
  C++ header files, in @('$HOME/usr/lib') we have @('libz3.dylib') and in
  @('$HOME/usr/lib/python-2.7/site-packages') we have all the z3 Python API
  