Corrected shift into uint32_t