===> Cleaning for noweb-2.11b