===> Cleaning for hck-0.7.2