Copy editors are very important and too rarely praised.