Minor edits for #259.