fixing a CI error