Fixing errors reported by Travis CI