Fix read_short to read_int