===> Cleaning for source-highlight-3.1.8nb11