diff --git a/examples/automaton/VPA1.xml b/examples/automaton/VPA1.xml
index 0565f6aef829ff2073c7bcea8179eb4b85293e43..aadec53f68375fbefc34c46c34f58eae8c572381 100644
--- a/examples/automaton/VPA1.xml
+++ b/examples/automaton/VPA1.xml
@@ -63,5 +63,7 @@
   <startSymbols>
     <symbol>⊥</symbol>
   </startSymbols>
-  <finalStates></finalStates>
+  <finalStates>
+    <state>1</state>
+  </finalStates>
 </automaton>