diff -r 460996cd27f9 -r 53aecb049e0a src/jdk.dynalink/share/classes/jdk/dynalink/NamespaceOperation.java
--- a/src/jdk.dynalink/share/classes/jdk/dynalink/NamespaceOperation.java	Tue Apr 16 17:15:57 2019 +0100
+++ b/src/jdk.dynalink/share/classes/jdk/dynalink/NamespaceOperation.java	Tue Apr 16 18:22:13 2019 +0200
@@ -89,7 +89,7 @@
  *         .withNamespace(StandardNamespace.PROPERTY)
  *         .named("color");
  * </pre>
- * <h3>Operations on multiple namespaces</h3>
+ * <h2>Operations on multiple namespaces</h2>
  * If multiple namespaces are specified, the namespaces are treated as
  * alternatives to each other in order of preference. The semantics of
  * such operation is "first applicable".