another round of minor corrections