===> Cleaning for ppl-0.11.2