Minor code improvements to Ipv4Address