Lint per #13578