fix an flisp bug