diff --git a/src/storm/utility/DirectEncodingExporter.cpp b/src/storm/utility/DirectEncodingExporter.cpp
index 5e1ce3231..2ea83e9d7 100644
--- a/src/storm/utility/DirectEncodingExporter.cpp
+++ b/src/storm/utility/DirectEncodingExporter.cpp
@@ -115,6 +115,10 @@ namespace storm {
                     }
                 }
                 os << std::endl;
+                // Write state valuations as comments
+                if(sparseModel->hasStateValuations()) {
+                    os << "//" << sparseModel->getStateValuations().getStateInfo(group) << std::endl;
+                }
 
                 // Write probabilities
                 typename storm::storage::SparseMatrix<ValueType>::index_type start = matrix.hasTrivialRowGrouping() ? group : matrix.getRowGroupIndices()[group];