Fix another lint error