mods to phd .dtx