Minor edits for #351.