Fix a warning due to uint_fast16_t > uint32_t.