Improving documentation of member fields; using new notation.