fixing a few bugs in vminfod