minor copy edit per #13603