Fix a race in the deadlock-detection code