Minor edits/fixes to the PEP text