US-14 Missing right parenthesis in example in 8.4.1
GB-10 "concatenated" misspelled in 8.4.5 replace_extension()
GB-9 Simplify postcondition of clear().