Corrected configuration for Travis CI