Fix a typo in the travis config file