Fixing travis (?)