The javadoc (HTML) syntax is corrected.