fix for travis (?)