[Git][cmucl/cmucl][21c-branch] 2 commits: Remove WIP and fix typo.