Minor edits for #340.