Fix a travis issue