Corrected errors reported by Travis CI