fix a few kleene demo bugs
fix a few kleene demo bugs

codeaudit/spire,codeaudit/spire,siddhartha-gadgil/spire,JackSullivan/spire,tixxit/spire,tixxit/spire,woparry/spire,kevinmeredith/spire,adampingel/spire,guersam/spire,non/spire,adampingel/spire,AlecZorab/spire,kevinmeredith/spire,JackSullivan/spire,woparry/spire,rklaehn/spire,rklaehn/spire,AlecZorab/spire,siddhartha-gadgil/spire,guersam/spire,non/spire