Minor edits for #231.