Minor changes in travis-ci config file