Minor fix for travis.yml