Despite the bug, the VMW stock is doing great