Fix javadoc HTML