Fixing Travis CI configuration