Dev: changed a label (consistency with a correction in 2.05)