Factoriality and the Pin-Reutenauer procedure