Lint per #13370