make the race detector happy