fix errors reported by travis.ci