Fixed Travis CI configuration