minor edit

minor edit