OCL25 — Possibility for paragraph comments /* ... */ not mentioned in 7.4.12

According to section 9.3.49, there are two forms of comments, line comments (-- this is a comment) and paragraph comments (/* this is a comment */):

It is possible to include comments anywhere in a text composed according to the above concrete syntax. There will be no
mapping of any comments to the abstract syntax. Comments are simply skipped when the text is being parsed. There are
two forms of comments, a line comment, and a paragraph comment. The line comment starts with the string ‘--’ and ends
with the next newline. The paragraph comment starts with the string ‘/’ and ends with the string ‘/.’ Paragraph
comments may be nested.

In section 7.4.12, only the syntax for line comments is described:

Comments in OCL are written following two successive dashes (minus signs). Everything immediately following the two
dashes up to and including the end of line is part of the comment.

For example:
– this is a comment

The two possibilities should be mentioned in 7.4.12.