some minor rephrasings