3.0 core libraries proof

Another set of proofing changes. I'll go through the rest of `/core-libraries` next.
Could this be linked to the appropriate section of the book?