diff --git a/THANKS b/THANKS
index 49b5d4d90..68d3443f0 100644
--- a/THANKS
+++ b/THANKS
@@ -24,6 +24,7 @@ Jean-Michel Couvreur
 Jean-Michel Ilié
 Jeroen Meijer
 Joachim Klein
+Juan Tzintzun
 Juraj Major
 Kristin Y. Rozier
 Martin Dieguez Lodeiro
diff --git a/python/spot/aux.py b/python/spot/aux.py
index caf117653..e4fa284b5 100644
--- a/python/spot/aux.py
+++ b/python/spot/aux.py
@@ -1,5 +1,5 @@
 # -*- coding: utf-8 -*-
-# Copyright (C) 2016 Laboratoire de Recherche et Développement de l'Epita
+# Copyright (C) 2016, 2019 Laboratoire de Recherche et Développement de l'Epita
 # (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -51,10 +51,17 @@ def str_to_svg(str):
     """
     Send some text to dot for conversion to SVG.
     """
-    dot = subprocess.Popen(['dot', '-Tsvg'],
-                           stdin=subprocess.PIPE,
-                           stdout=subprocess.PIPE,
-                           stderr=subprocess.PIPE)
+    try:
+        dot = subprocess.Popen(['dot', '-Tsvg'],
+                               stdin=subprocess.PIPE,
+                               stdout=subprocess.PIPE,
+                               stderr=subprocess.PIPE)
+    except FileNotFoundError:
+        print("The command 'dot' seems to be missing on your system.\n"
+              "Please install the GraphViz package "
+              "and make sure 'dot' is in your PATH.", file=sys.stderr)
+        raise
+
     stdout, stderr = dot.communicate(str)
     if stderr:
         print("Calling 'dot' for the conversion to SVG produced the message:\n"