Minor edits for #86.