--- a/Test/CanNotProve/CanNotProve.tst2
+++ b/Test/CanNotProve/CanNotProve.tst2
@@ -5,6 +5,7 @@
     >>> from CanNotProve import test
     >>> test.__loader__         # doctest: +ELLIPSIS
     <zipimporter ...>
+    >>> test.Rule_package = 'CanNotProve'
     >>> test.dotests()
 
 """