Fix typos. Replace proof that PRPs are PRFs. Other fixes.