bugfix: handling of IP-addresses with numbers larger than 128