fix bug with missing ')'