Bugfix in logic for ZeroMorphism