Fix error reported by travis.