Correct configuration for travis