fix small TSan complaint