removing typo in the dtx