Found and fixed an error in the example on page 8.
Merge branch 'master' of https://github.com/abella-prover/abella-prover.org