no-op change to un-confuse race detector (unless the race is real)

maybe fixes #201