Update to race detector