tsan: better error message wording in deadlock reports