typo in ICMP pretty printing
several tweaks