Another Linux warning fix