diff --git a/chapters/VK_EXT_display_control/swapchain_counters.txt b/chapters/VK_EXT_display_control/swapchain_counters.txt
index d46a0b9712..6fe2c638f1 100644
--- a/chapters/VK_EXT_display_control/swapchain_counters.txt
+++ b/chapters/VK_EXT_display_control/swapchain_counters.txt
@@ -43,7 +43,7 @@ include::{generated}/api/protos/vkGetSwapchainCounterEXT.txt[]
   * pname:pCounterValue will return the current value of the counter.
 
 If a counter is not available because the swapchain is out of date, the
-implementation may: return ename:VK_ERROR_OUT_OF_DATE_KHR.
+implementation must: return ename:VK_ERROR_OUT_OF_DATE_KHR.
 
 .Valid Usage
 ****
diff --git a/chapters/VK_KHR_shared_presentable_image/wsi.txt b/chapters/VK_KHR_shared_presentable_image/wsi.txt
index 2e325f9b05..e2bff67ebf 100644
--- a/chapters/VK_KHR_shared_presentable_image/wsi.txt
+++ b/chapters/VK_KHR_shared_presentable_image/wsi.txt
@@ -55,8 +55,7 @@ include::{generated}/api/protos/vkGetSwapchainStatusKHR.txt[]
 include::{generated}/validity/protos/vkGetSwapchainStatusKHR.txt[]
 --
 
-The possible return values for fname:vkGetSwapchainStatusKHR should: be
-interpreted as follows:
+Status codes returned by flink:vkGetSwapchainStatusKHR have the following meaning:
 
   * ename:VK_SUCCESS specifies the presentation engine is presenting the
     contents of the shared presentable image, as per the swapchain's
diff --git a/chapters/VK_KHR_swapchain/wsi.txt b/chapters/VK_KHR_swapchain/wsi.txt
index 506b0bd207..f79bf8d37c 100644
--- a/chapters/VK_KHR_swapchain/wsi.txt
+++ b/chapters/VK_KHR_swapchain/wsi.txt
@@ -332,11 +332,7 @@ outnumber calls to flink:vkDestroySwapchainKHR.
 
 After pname:oldSwapchain is retired, the application can: pass to
 flink:vkQueuePresentKHR any images it had already acquired from
-pname:oldSwapchain.
-E.g., an application may present an image from the old swapchain before an
-image from the new swapchain is ready to be presented.
-As usual, flink:vkQueuePresentKHR may: fail if pname:oldSwapchain has
-entered a state that causes ename:VK_ERROR_OUT_OF_DATE_KHR to be returned.
+pname:oldSwapchain. flink:vkQueuePresentKHR must: return ename:VK_ERROR_OUT_OF_DATE_KHR.
 
 ifdef::VK_KHR_shared_presentable_image[]
 The application can: continue to use a shared presentable image obtained