fix 19443: normal size for varsegno