try fixing error reported by travis