Fixed Vampire termination hack.