(no commit message)

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index ae197f9aceca8dc6bcc808b2a742d9e38a8ed3e1..d3f1d8df68b763266f99ca5f595192c2f46f1b84 100644 (file)
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -129,7 +129,7 @@ unavailable (used by EXT900).
 
 The following identification-criteria may be easily verified by taking
 a copy of the table above and striking out each line that fails each
-test.  Only EXT000-063 are not by a "process of elimination"
+test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
 
 **Length detection**: (critically-important to be short)