Error while editing dtx files - MPGH