Index: cackey.c
==================================================================
--- cackey.c
+++ cackey.c
@@ -3231,11 +3231,11 @@
 	}
 
 	if (pSlotList == NULL) {
 		*pulCount = slot_count;
 
-		CACKEY_DEBUG_PRINTF("Returning CKR_OK (%i)", CKR_OK);
+		CACKEY_DEBUG_PRINTF("Returning CKR_OK (%i).  Found %lu readers, but not storing IDs (pSlotList == NULL)", CKR_OK, (unsigned long) slot_count);
 
 		return(CKR_OK);
 	}
 
 	count = *pulCount;

Index: configure.ac
==================================================================
--- configure.ac
+++ configure.ac
@@ -1,6 +1,6 @@
-AC_INIT(cackey, 0.5.12) 
+AC_INIT(cackey, 0.5.13) 
 AC_CONFIG_HEADERS(config.h)
 
 dnl Locate standard tools
 AC_PROG_CC
 AC_PROG_MAKE_SET