Fixed small issues in travis config file