Small fix in travis config