===> Cleaning for source-highlight-3.1.9nb7