===> Cleaning for covered-0.4.7