shorter synopsys
number of matches addition fixed