Code cleaning in Tacenv.