See the comment in the source. This race should actually not be important, but we fix it anyways for now to make the CI happy.
