3.0 core libraries proof

Another set of proofing changes. I'll go through the rest of `/core-libraries` next.
Maybe, I don't know how we could show that error?