Fixing bug found looking into VM