===> Cleaning for checkperms-1.12