undid renaming of vector cons, was too bad in the latex backend