Fix comment so that it is included into the HTML documentation.
1 file changed