another fix to travis