Quick fix to the .travis file.