A minor edit