Minor deadlock detect fix (bug #3531)