Fix a bug in verifaddrs. Improve Execute utilities.