Minor documentation amends

Post proofing amends.