WPTag headTagNode = new WPTag("h" + headLevel);
TagNode spanTagNode = new TagNode("span");
// Example:
// <h2><span class="mw-headline" id="Header_level_2">Header level 2</span></h2>
spanTagNode.addChildren(localStack.getNodeList());
headTagNode.addChild(spanTagNode);
String tocHead = headTagNode.getBodyString();
String anchor = Encoder.encodeDotUrl(tocHead);
createTableOfContent(false);
if (!noToC && (headCounter > 3)) {
fTableOfContentTag.setShowToC(true);