OCR post: copy-editing suggested by @wmaness