Add a missing ')'