From 7b673c545d972442ca1694434614461809f0f102 Mon Sep 17 00:00:00 2001
From: jsmorley <jsmorley@gmail.com>
Date: Sun, 16 Feb 2025 08:44:16 -0500
Subject: [PATCH] Tweak

---
 source/manual/bangs.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/manual/bangs.html b/source/manual/bangs.html
index f4ddedc61..85bb1f636 100644
--- a/source/manual/bangs.html
+++ b/source/manual/bangs.html
@@ -347,7 +347,7 @@ <h2 id="Skin">Skin bangs</h2>
 		Deactivates a skin.
 		<ul>
 		<li><code>Config</code> (optional): The config to be deactivated.<br>
-		If not defined, the current skin is deactivated.</li>
+		If not specified, the current skin is deactivated.</li>
 		</ul>
 		<br><b>Example:</b> <code>!DeactivateConfig "illustro\Clock"</code>
 	</dd>