--- a/doc/html/pyke_syntax/krb_syntax/index.html
+++ b/doc/html/pyke_syntax/krb_syntax/index.html
@@ -145,7 +145,7 @@
 This must be a legal Python identifier.</p>
 <div class="section" id="extending-clause">
 <h3>Extending clause</h3>
-<p>The optional <tt class="docutils literal"><span class="pre">extending</span></tt> clause, if used, is the first line of the file.
+<p>The optional <tt class="docutils literal">extending</tt> clause, if used, is the first line of the file.
 This defines the parent <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a> that this <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a> <a class="reference external" href="../../knowledge_bases/rule_bases.html#rule-base-inheritance">inherits</a> from.
 It may also specify a list of <a class="reference external" href="../../logic_programming/rules/backward_chaining.html">backward-chaining</a> goal names to be excluded
 from this inheritance.</p>
@@ -156,8 +156,8 @@
 will be created named &lt;rb_name&gt;_fc.py, where &lt;rb_name&gt; is the <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a>
 name.</p>
 <p>The syntax of a forward-chaining rule (<a class="reference external" href="fc_rule.html">fc_rule</a>) is defined <a class="reference external" href="fc_rule.html">here</a>.</p>
-<p>The <tt class="docutils literal"><span class="pre">fc_extras</span></tt> may only be used if there are forward-chaining rules.
-This allows you to add other Python code (for example, <tt class="docutils literal"><span class="pre">import</span></tt> statements)
+<p>The <tt class="docutils literal">fc_extras</tt> may only be used if there are forward-chaining rules.
+This allows you to add other Python code (for example, <tt class="docutils literal">import</tt> statements)
 to the generated Python source file.</p>
 </div>
 <div class="section" id="backward-chaining-section">
@@ -166,14 +166,14 @@
 will be created named &lt;rb_name&gt;_bc.py, where &lt;rb_name&gt; is the <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a>
 name.</p>
 <p>The syntax of a backward-chaining rule (<a class="reference external" href="bc_rule.html">bc_rule</a>) is defined <a class="reference external" href="bc_rule.html">here</a>.</p>
-<p>The <tt class="docutils literal"><span class="pre">bc_extras</span></tt> can only be used if there are backward-chaining rules.
-This allows you to add other Python code (for example, <tt class="docutils literal"><span class="pre">import</span></tt> statements)
+<p>The <tt class="docutils literal">bc_extras</tt> can only be used if there are backward-chaining rules.
+This allows you to add other Python code (for example, <tt class="docutils literal">import</tt> statements)
 to the generated Python source file.</p>
 <p>In addition, if any of the backward-chaining rules have <a class="reference external" href="../../logic_programming/plans.html">plan</a> code (a
 <a class="reference external" href="bc_rule.html#with-clause">with clause</a> or any subgoals in the <a class="reference external" href="bc_rule.html#when-clause">when clause</a> with a <a class="reference external" href="bc_rule.html#plan-spec">plan_spec</a>),
 a Python source file will be created named &lt;rb_name&gt;_plans.py,
 where &lt;rb_name&gt; is the <cite>rule base</cite> name.</p>
-<p>You use the <tt class="docutils literal"><span class="pre">plan_extras</span></tt> to include arbitrary Python code in this plans
+<p>You use the <tt class="docutils literal">plan_extras</tt> to include arbitrary Python code in this plans
 file.</p>
 <!-- ADD_LINKS MARKER -->
 </div>