Minor edits for #254.