Fix lint per #12621