The tradition of the text of the Aeneid in the ninth century