Miscellaneous minor copy-edits