a minor edit