Fixing a typo in the .travis file