Fixing some VMI_DEBUG warnings.