Fixing broken travis