Fix a Travis issue