fix HTML defragmenter