4 ms·

While the bug is unfortunate it is also easily avoided: always delete a volume group together. Don't leave some volumes from the group laying around.