bugfix printing of icmp instructions