What happened to Virgil