Relax this assert. It may not hold in all cases.