kill HV appropriately, closes #2