Fixes Travis CI configuration