make race detector happy