Minor edits for #328.