Bugfix in UniversalMorphismIntoDirectProduct