fix a few kleene demo bugs