Small temporary fix to help debug in CI.