Document where we want a uint16_t instead of a uint64_t