diff --git a/chapters/devsandqueues.txt b/chapters/devsandqueues.txt
index ba60c4eb..9f3fbc88 100644
--- a/chapters/devsandqueues.txt
+++ b/chapters/devsandqueues.txt
@@ -836,11 +836,11 @@ ifdef::VK_VERSION_1_1[]
     code:VK_AMD_negative_viewport_height
 endif::VK_VERSION_1_1[]
 ifndef::VK_VERSION_1_1[]
-ifdef::VK_VERSION_1_1,VK_KHR_maintenance1[]
+ifdef::VK_KHR_maintenance1[]
   * [[VUID-VkDeviceCreateInfo-ppEnabledExtensionNames-00374]]
     pname:ppEnabledExtensionNames must: not contain both
     `<<VK_KHR_maintenance1>>` and `<<VK_AMD_negative_viewport_height>>`
-endif::VK_VERSION_1_1,VK_KHR_maintenance1[]
+endif::VK_KHR_maintenance1[]
 endif::VK_VERSION_1_1[]
 endif::VK_AMD_negative_viewport_height[]
 ****