Try to fix a spurious CI failure.