Minor rephrasings.