Bug fix in travisci config.