diff --git a/alib2aux/src/convert/DotConverter.h b/alib2aux/src/convert/DotConverter.h
index 86a6ad057b9323ba332ce0e37b26aa403f688211..fd0ad794ee35e6b5e109a8aff43353b06acf82ac 100644
--- a/alib2aux/src/convert/DotConverter.h
+++ b/alib2aux/src/convert/DotConverter.h
@@ -1021,7 +1021,7 @@ void DotConverter::transitions(const automaton::NFTA < SymbolType, RankType, Sta
 	}
 
 	//Print auxilary dots
-	for (unsigned i = 1; i < transitions.size(); i++) {
+	for (unsigned i = 1; i <= transitions.size(); i++) {
 		out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
 	}
 
@@ -1071,7 +1071,7 @@ void DotConverter::transitions(const automaton::DFTA < SymbolType, RankType, Sta
 	}
 
 	//Print auxilary dots
-	for (unsigned i = 1; i < transitions.size(); i++) {
+	for (unsigned i = 1; i <= transitions.size(); i++) {
 		out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
 	}
 
@@ -1137,7 +1137,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
 			transitions.insert(std::make_pair(key, symbol));
 		} else {
 			mapit->second += ",";
-			
+
 			size_t pos = mapit->second.find_last_of("\n");
 			if(pos == std::string::npos) pos = 0;
 			if(mapit->second.size() - pos > 100) mapit->second += "\n";