LEADING OFF: Reds-Tigers debut MLB's 7-inning doubleheaders