What happened to Virgil?