Attached is a small patch to correct the fact that some symbols weren't renamed in package.lisp.

Dan