Small tweaks to the travis file