Fix bug in wrapInKleeneClosure()