Slight linux fix