Fixed example in Travis CI