Minor cleanup

[ci skip]