===> Cleaning for tex-clrscode-1.7