Fix? a CI test