1 files changed, 2 insertions, 2 deletions

diff --git a/tapsets/API-kernel-pointer.html b/tapsets/API-kernel-pointer.html
index 2e65a31d..422cb1b5 100644
--- a/tapsets/API-kernel-pointer.html
+++ b/tapsets/API-kernel-pointer.html
@@ -2,9 +2,9 @@
  Retrieves a pointer value stored in kernel memory
  </p></div><div class="refsynopsisdiv" title="Synopsis"><h2>Synopsis</h2><pre class="programlisting">
  kernel_pointer:long(addr:long)
-</pre></div><div class="refsect1" title="Arguments"><a name="idp11371024"></a><h2>Arguments</h2><div class="variablelist"><dl><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
+</pre></div><div class="refsect1" title="Arguments"><a name="idp11374544"></a><h2>Arguments</h2><div class="variablelist"><dl><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
  The kernel address to retrieve the pointer from
- </p></dd></dl></div></div><div class="refsect1" title="Description"><a name="idp11374256"></a><h2>Description</h2><p>
+ </p></dd></dl></div></div><div class="refsect1" title="Description"><a name="idp11377776"></a><h2>Description</h2><p>
  Returns the pointer value from a given kernel memory
  address. Reports an error when reading from the given address
  fails.