Fix Linux warning