Slight mod to travis.yml.