Proofed sec. 3
First minor tweaks from the review session.