Potential fix for IncompatibleRatioException with RandomTransitionGenerator.