bug in read-number fixed.