Doc: Grammatical fixes to synopsys.md