Fixing has_p0s for arbiters