No ticket: Fix lint error