Quiet another lint warning