diff --git a/content/operators/operators-4/contents.lr b/content/operators/operators-4/contents.lr
index a5ba4bb42a6e4b4c42b5c4504576495e31260e88..d789da4c68dd2db4601f3b6ae9eece870a39d453 100644
--- a/content/operators/operators-4/contents.lr
+++ b/content/operators/operators-4/contents.lr
@@ -12,8 +12,7 @@ description:
        $ deb https://deb.torproject.org/torproject.org version main
        $ deb-src https://deb.torproject.org/torproject.org version main
 * Add the gpg key used to sign the packages by running the following commands:
-       $ gpg --keyserver keys.gnupg.net --recv A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89
-       $ gpg --export A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89 | sudo apt-key add -
+       $ curl https://deb.torproject.org/torproject.org/A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89.asc | sudo apt-key add -
 * Run the following commands to install tor and check its signatures:
        $ sudo apt-get update
        $ sudo apt-get install tor deb.torproject.org-keyring