minor edit

Minor edit