Fix typo, add subthread fact