From e965926c1a57c10674d990a67a7092c91fd3f2e7 Mon Sep 17 00:00:00 2001
From: Benjamin Wuethrich <8521043+bewuethr@users.noreply.github.com>
Date: Sun, 5 Jul 2020 23:50:04 -0400
Subject: [PATCH] Fix typo in MANUAL.txt

---
 MANUAL.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index b9ef68cd2..893b4ae2c 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -902,7 +902,7 @@ header when requesting a document from a URL:
     downloaded). If you're behind a proxy, you also need to set
     the environment variable `http_proxy` to `http://...`.
 
-`--no-check-certificate
+`--no-check-certificate`
 
 :   Disable the certificate verification to allow access to 
     unsecure HTTP resources (for example when the certificate