diff --git a/THANKS b/THANKS
index 49d5e17bf..24d3acf44 100644
--- a/THANKS
+++ b/THANKS
@@ -43,6 +43,7 @@ Silien Hong
 Simon Jantsch
 Shufang Zhu
 Sonali Dutta
+Tereza Šťastná
 Tobias Meggendorfer.
 Tomáš Babiak
 Valentin Iovene
diff --git a/doc/org/install.org b/doc/org/install.org
index 89ff03878..2634d4904 100644
--- a/doc/org/install.org
+++ b/doc/org/install.org
@@ -23,9 +23,11 @@ Spot requires a C++14-compliant compiler.  =g++= 5.0 or later, as well
 as =clang++= 3.5 or later should work.
 
 Spot expects a complete installation of Python (version 3.3 or later).
-Especially, Python's headers files should be installed.  If you don't
-have Python installed, and do NOT want to install it, you should run
-=./configure= with the =--disable-python= option.
+Especially, Python's headers files should be installed (the package to
+install has a name like =python-dev= or =libpython3-dev= in most
+distributions).  If you don't have Python installed, and do NOT want
+to install it, you should run =./configure= with the
+=--disable-python= option.
 
 ** Installation