Expand section on explanation of race detector output