minor linux fix