Minor fix in travis.yml