html: mismatched elements are now handled by next_node().