Copy-edit some text very slightly.