Section 7.3 punctuation fixes