completing Sjaak's changes in module trans caused by exchanging the transform and convertcases phases