Fixed small issue in travis config