Fix description of int_to_ip