Issue #2: fix typo in tests/travisCI.st