Minor copy-editing of doc comments