Fix javadoc (html errors)