A fix in the javadoc syntax.