fixed synopsys comment