Lint per #12980