mistake in typing Synonyms

erratum typo