Lint per #13582