Fix issue reported by Travis