fix typo in sbcl bug test