Fix bug in the generation of IPv4-embedded addresses
Fix synopsis