The bug was fixed in the method vboxv.