fix missing ')'