diff --git a/libsel4vka/include/vka/object.h b/libsel4vka/include/vka/object.h
index 3ac61d5..994e26d 100644
--- a/libsel4vka/include/vka/object.h
+++ b/libsel4vka/include/vka/object.h
@@ -95,7 +95,7 @@
 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) WARN_UNUSED_RESULT;
 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits)
 {
-    vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, size_bits = 0};
+    vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, .size_bits = 0};
     return vka_alloc_object(vka, type, size_bits, &result) == -1 ? 0 : result.cptr;
 }