Minor changes to travis CI config.