minor hygiene

[skip ci]