some fixes (and rename artin_rep file)