Add comment explaining why we expand the discriminant size