Reading the code, it looks impossible for this assertion to ever be false? If so, it should be removed.