Issue #11: uint16_t instead of short for TCP port number