fix error in tests/travisCI.st