diff --git a/src/storm-dft/storage/dft/DFTIsomorphism.h b/src/storm-dft/storage/dft/DFTIsomorphism.h
index 869cbd065..f8fd27d8f 100644
--- a/src/storm-dft/storage/dft/DFTIsomorphism.h
+++ b/src/storm-dft/storage/dft/DFTIsomorphism.h
@@ -255,6 +255,7 @@ namespace storage {
         void colourize(std::shared_ptr<const DFTGate<ValueType>> const& gate) {
              STORM_LOG_TRACE("Colour " << gate->id() << ": "  << gate->type() << " " << gate->nrChildren() << " " << gate->rank() << ".");
              gateColour[gate->id()] = gateColourizer(gate->type(), gate->nrChildren(), gate->nrParents(), 0, gate->rank());
+             STORM_LOG_TRACE("Coloured " << gate->id() << " with " << gateColour[gate->id()] << ".");
         }
         
         void colourize(std::shared_ptr<const DFTDependency<ValueType>> const& dep) {
diff --git a/src/storm-dft/storage/dft/SymmetricUnits.h b/src/storm-dft/storage/dft/SymmetricUnits.h
index 08e8961a9..52b2f7697 100644
--- a/src/storm-dft/storage/dft/SymmetricUnits.h
+++ b/src/storm-dft/storage/dft/SymmetricUnits.h
@@ -108,7 +108,7 @@ namespace storm {
                 }
                 // Sort by length of symmetry or (if equal) by lower first element
                 std::sort(sortedGroups.begin(), sortedGroups.end(), [&](const size_t left, const size_t right) {
-                    return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(left).front().front());
+                    return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(right).front().front());
                 });
                 
                 // Sort hierarchical