deal with warning reported by Travis