Fix HTML in javadoc.