Fix issues with a synthesis tool