diff --git a/INSTALL b/INSTALL
index c0f14d92c92eb37a0efa9e53ac5467eacd3ab1ca..c0a87be9c01f03e176fbb0567938e2b34d2f4d31 100644
--- a/INSTALL
+++ b/INSTALL
@@ -48,8 +48,6 @@ The lines prefixed with ``sudo`` have to be run as root.
 
        sudo apt-key adv --keyserver pgp.mit.edu --recv-key C3F147F5980F3535
 
-   (Feel free to verify the validity of this key using the web of trust!)
-
 3. Update the package data, and install Kwant::
 
        sudo apt-get update