Fix buglet in yesterday's handling of "*" as an IP mask.