Fix use of HTML in Javadoc comments