So in original. An additional closing parenthesis probably should precede the semicolon.