Fix typo.
sygus input language and benchmark