Note 9 at Ac 1:21: There is no reason to doubt that Peter was directed by the Holy Ghost to view these prophecies as pertaining to Judas and giving instruction to find a replacement. However, it is not as clear that the replacement they found was really God's choice.