Bugfix in CI script.