Will this ever happen? If the match is already exhaustive, you don't need this line.