small change needed to make criem2c2pundits.lisp work again