Another minor text edit.