-8025 The comment close symbol, }, has been found on line line-number,
character char-number, even though no comment has been opened.
Unless comment symbols are enclosed in quotes, they must be balanced.
Probably the open-comment symbol was accidentally deleted during
editing. Change the file so that comments are properly delimited.