diff --git a/lib/wt2html/HTML5TreeBuilder.js b/lib/wt2html/HTML5TreeBuilder.js
index <HASH>..<HASH> 100644
--- a/lib/wt2html/HTML5TreeBuilder.js
+++ b/lib/wt2html/HTML5TreeBuilder.js
@@ -52,14 +52,10 @@ TreeBuilder.prototype.setPipelineId = function(id) {
 	this.pipelineId = id;
 };
 
-// HTML5 tokenizer stubs
-TreeBuilder.prototype.setState = function(state) {};
-
 TreeBuilder.prototype.resetState = function() {
 	// Reset vars
 	this.tagId = 1;  // Assigned to start/self-closing tags
 	this.inTransclusion = false;
-	this.precededByPre = false;
 
 	/* --------------------------------------------------------------------
 	 * Crude tracking of whether we are in a table
Some leftover cleanup from the switch to domino for treebuilding

 * Should have been part of <I>a<I>a<I>

Change-Id: I4cde<I>b<I>c<I>bb<I>df9f6b<I>ca