Another fix to travis