Fix a travis build error