fix #19443: normal size for varsegno