minor rephrasings