better deadlock reporting