Try to appease the race detector