diff --git a/org.eclipse.jdt.annotation/src/org/eclipse/jdt/annotation/DefaultLocation.java b/org.eclipse.jdt.annotation/src/org/eclipse/jdt/annotation/DefaultLocation.java
index 02677bfc389..7a7f9e08f76 100644
--- a/org.eclipse.jdt.annotation/src/org/eclipse/jdt/annotation/DefaultLocation.java
+++ b/org.eclipse.jdt.annotation/src/org/eclipse/jdt/annotation/DefaultLocation.java
@@ -124,8 +124,10 @@ public enum DefaultLocation {
 	 * }</pre>
 	 * <p>
 	 * These declarations are interpreted as:
+	 * </p>
 	 * <pre>    &#64;NonNull Number [] n1;
 	 *    &#64;NonNull Number [] @NonNull[] n2;</pre>
+	 * <p>
 	 * I.e., both fields can still be <code>null</code> (see the unannotated left-most pair
 	 * of brackets) but none of the <em>contents</em> of these arrays is allowed to be 
 	 * <code>null</code> (at any dimension).