Fixing a travis ci problem