; Fix last change.

diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index 82ab48fa5141b3b9a096b2012f59f0ae9350ece7..5b9b5ee4ead5809c93a71aa19ad1f5254a7491a1 100644 (file)
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -521,7 +521,7 @@ The solution is to use gawk (GNU awk).
 This is known to happen with GnuPG v2.4.1.  The only known workaround
 is to downgrade to a version of GnuPG older than 2.4.1 (or, in the
 future, upgrade to a newer version which solves the problem, when such
-a fixed version becomes available)
+a fixed version becomes available).
 
 ** Problems with hostname resolution