I agree, this was taken into account (c.f. message above).