Minor finalization-related bugfix in Lisp API