07: minor rewordings