Fix a test for Travis