CAS-1425: adding a closing paren in a comment.