Fix up the travis.hs file