Removed a stray ')' in a comment, no functional changes.