Win32 Vundo Removal

I recently d/l the free version and ran the full scan and it found the Trojan Horse. I clicked on Heal, but it didn’t do anything. I clicked on Virus Vault and see the file listed in there, but how do I get it removed?