Index: /branches/working-0711/ccl/library/core-files.lisp
===================================================================
--- /branches/working-0711/ccl/library/core-files.lisp	(revision 13088)
+++ /branches/working-0711/ccl/library/core-files.lisp	(revision 13089)
@@ -756,9 +756,9 @@
 
 (defun core-package-names (pkg-ptr)
-  (assert (core-uvtypep pkg-ptr 'package))
+  (assert (core-uvtypep pkg-ptr :package))
   (copy-from-core (core-uvref pkg-ptr pkg.names) :depth 2))
 
 (defun core-package-name (pkg-ptr)
-  (assert (core-uvtypep pkg-ptr 'package))  
+  (assert (core-uvtypep pkg-ptr :package))  
   (copy-from-core (core-car (core-uvref pkg-ptr pkg.names)) :depth 1))
 
