correct travis CI config file