Fixed a bug in the HTML splitter: