Minor: style in reported sentence.