Harden IP address tuple to string conversion a little