Another minor edit

[ci skip]