diff --git a/doc/org/install.org b/doc/org/install.org
index a24134e42..dc492af57 100644
--- a/doc/org/install.org
+++ b/doc/org/install.org
@@ -52,10 +52,13 @@ make
 make install
 #+END_SRC
 
+Before running =make install=, you might want to run =make check= to
+run our test-suite.
+
 Files =INSTALL= and =README= included in the tarball contains more
-explanations about the various options you can use during this
-process.  Also note that =README= has a section about troubleshooting
-installations.
+explanations about the various options you can use during the
+compilation process.  Also note that =README= has a section about
+troubleshooting installations.
 
 * Installing the Debian packages
    :PROPERTIES:
@@ -88,7 +91,9 @@ apt-get install spot libspot-dev spot-doc python3-spot # Or a subset of those
 Note that our Debian repository is signed since that is the new Debian
 policy, and both of the above command blocks start with a download of
 our [[https://www.lrde.epita.fr/repo/debian.gpg][GPG key]].  Its fingerprint is =209B 7362 CFD6 FECF B41D 717F 03D9
-9E74 44F2 A84A=, if you want to verify it.
+9E74 44F2 A84A=, if you want to verify it.  If you have an old copy of
+the GPG key that expired, please download it again: the current
+version should be valid until 2032.
 
 The package =spot= contains the [[file:tools.org][command-line tools]]. =libspot-dev=
 contains the header files if you plan to use Spot in a C++17