translations package and error prevention in AUCTeX