correct printing of uint16_t