Typo - should be uint32_t?