Minor fix in .travis.yml