fixed a bug in the travis config
tweaked the travis config