fix TySynD