Fixing Travis CI build error