diff --git a/src/venus/vkr_cs.h b/src/venus/vkr_cs.h
index 21cbf18..4e2daa6 100644
--- a/src/venus/vkr_cs.h
+++ b/src/venus/vkr_cs.h
@@ -215,9 +215,9 @@ vkr_cs_decoder_lookup_object(const struct vkr_cs_decoder *dec,
    obj = likely(entry) ? entry->data : NULL;
    if (unlikely(!obj || obj->type != type)) {
       if (obj)
-         vkr_log("object " PRIu64 " has type %d, not %d", id, obj->type, type);
+         vkr_log("object %" PRIu64 " has type %d, not %d", id, obj->type, type);
       else
-         vkr_log("failed to look up object " PRIu64, id);
+         vkr_log("failed to look up object %" PRIu64, id);
       vkr_cs_decoder_set_fatal(dec);
    }