Minor edits for #301.