Bugfix: HTMLParser.stop() never returns