Added forgotten closing parenthesis to a comment