===> Cleaning for tex-concprog-2014