[PATCH] BUG10940: remove leading zeros in ip address