additions to phd.dtx