Optlang: Correct typo (quotes)
Optlang: Remove unneeded quantifier