diff --git a/src/insns/load_tag_perms.adoc b/src/insns/load_tag_perms.adoc
index 4908a326..4110b8c0 100644
--- a/src/insns/load_tag_perms.adoc
+++ b/src/insns/load_tag_perms.adoc
@@ -3,7 +3,7 @@ The tag value written to `cd` is 0 if the tag of the memory location loaded is
 0 or the authorizing capability (<<ddc>> or `cs1`) does not grant <<c_perm>>.
 +
 If the authorizing capability does not grant <<lm_perm>>, and the tag of `cd` is 1 and `cd` is not sealed, then an implicit <<ACPERM>> clearing <<w_perm>> and <<lm_perm>> is performed to obtain the intermediate permissions on `cd`.
-++
++
 If the authorizing capability does not grant <<el_perm>>, and the tag of `cd` is 1, then an implicit <<ACPERM>> restricting the <<section_cap_level>> to the level of the authorizing capability is performed.
 If `cd` is not sealed, this implicit <<ACPERM>> also clears <<el_perm>> to obtain the final permissions on `cd` (see <<cap_level_load_summary>>).