Fix small error in matcher