Fix lint complaint