Minor rephrasings