fix for CI