bugfix in SegtoDecimal()