minor change .dtx