Minor edits for #346.