handle Kleene star better