diff --git a/doc/html/Digital Signatures.html b/doc/html/Digital Signatures.html
index 4494fbdd..32d93ee8 100644
--- a/doc/html/Digital Signatures.html
+++ b/doc/html/Digital Signatures.html
@@ -98,8 +98,8 @@ Note: If you skip this step and attempt to verify any of our PGP signatures, you
Under Linux, these steps can be achieved using the following commands:
-- Check that the fingerprint of the public key is 5069A233D55A0EEB174A5FC3821ACD02680D16DE:
-gpg --with-fingerprint VeraCrypt_PGP_public_key.asc
- If the fingerprint is the expected one, import the public key: gpg --import VeraCrypt_PGP_public_key.asc
+
- Check that the fingerprint of the public key is 5069A233D55A0EEB174A5FC3821ACD02680D16DE:gpg --import --import-options show-only VeraCrypt_PGP_public_key.asc (for older gpg versions, type instead:
+gpg --with-fingerprint VeraCrypt_PGP_public_key.asc)
- If the fingerprint is the expected one, import the public key: gpg --import VeraCrypt_PGP_public_key.asc
- Verify the signature of the Linux setup archive (here for version 1.23):
gpg --verify veracrypt-1.23-setup.tar.bz2.sig veracrypt-1.23-setup.tar.bz2