Another small fix in opentv_read_summaries