Used Verus' superior debugging facilities to fix a deadlock.