Fixing a bug in the travis config