Fix up the travis.hs checker