Simplify invalidate_vuid slightly