Small fix in matching