bug fixed in ReadInt