===> Cleaning for happy-1.19.12