trying fixing the error reported by travis...