===> Cleaning for splay-0.8.2