Fix minor bug in matcher.