diff --git a/src/common/pico_time/time.c b/src/common/pico_time/time.c
index f965ab8..dea1fc6 100644
--- a/src/common/pico_time/time.c
+++ b/src/common/pico_time/time.c
@@ -279,7 +279,7 @@ static void alarm_pool_dump_key(pheap_node_id_t id, void *user_data) {
 #if PICO_ON_DEVICE
     printf("%lld (hi %02x)", to_us_since_boot(get_entry(pool, id)->target), *get_entry_id_high(pool, id));
 #else
-    printf(PRIu64, to_us_since_boot(get_entry(pool, id)->target));
+    printf("%"PRIu64, to_us_since_boot(get_entry(pool, id)->target));
 #endif
 }