Fix malformed html in javadoc