Fix bug in CI configuration file