fix bug in read_ext_stream_properties