Fix another lint warning