VirtualMachine.cpp slight change