Fixing CI issue