Small fix for CLISP