diff --git a/doc/src/sgml/ref/alter_table.sgml b/doc/src/sgml/ref/alter_table.sgml
index c6ab432df14..896a7e7baaf 100644
--- a/doc/src/sgml/ref/alter_table.sgml
+++ b/doc/src/sgml/ref/alter_table.sgml
@@ -238,9 +238,10 @@ WITH ( MODULUS numeric_literal, REM
       provided none of the records in the table contain a
       NULL value for the column.  Ordinarily this is
       checked during the ALTER TABLE by scanning the
-      entire table; however, if a valid CHECK constraint is
-      found which proves no NULL can exist, then the
-      table scan is skipped.
+      entire table;
+      however, if a valid CHECK constraint exists
+      (and is not dropped in the same command) which proves no
+      NULL can exist, then the table scan is skipped.