Fix failure on CI (attempt 2)