fix for CI error