diff --git a/src/tool.cpp b/src/tool.cpp
index 6e69cbe..4f5032d 100644
--- a/src/tool.cpp
+++ b/src/tool.cpp
@@ -1733,9 +1733,10 @@ callback_device_finalize( int device_num )
     {
         if constexpr ( mode > printf_mode::disable_output )
         {
-            atomic_printf( "[%s] Device %d not found. "
+            atomic_printf( "[%s] Device %d not found. Number of devices: %d. "
                            "The runtime may have already cleaned up some state. Skip flushing buffers.\n",
                            __FUNCTION__,
+                           devices.size(),
                            device_num );
         }
         return;