various minor rewordings