I just realized that Virgil's name must come from Dante's Inferno — Dante is led through the afterlife, guided by Virgil.