Minor edits for #84.