Fixed errors reported by Travis CI